((v1 v2 3) (v1 v3 8) (v2 v3 2))
25
((v2 v3))